https://manualbooms.com/product/bosch-power-tools/sander/3725devs/
Bosch Power Tools 3725DEVS Sander manuals, user's guides and other documents